- формализованный язык
- фармалізаваная мова
Русско-белорусский математический словарь. 2013.
формализованный язык
Смотреть что такое "формализованный язык" в других словарях:
формализованный язык — ФОРМАЛИЗОВАННЫЙ ЯЗЫК искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, а также выражения логических законов и способов правильных рассуждений в логических теориях, строящихся в… … Энциклопедия эпистемологии и философии науки
ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т … Философская энциклопедия
Формализованный язык — В широком смысле любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис формализованного языка) и приписывания этим выражениям определённого… … Википедия
формализованный язык для систем моделирования — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN simulation languageSIMULA … Справочник технического переводчика
ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственный язык, для к рого имеется точное формальное определение класса выражений языка и достаточно строгое объяснение значения или смысла этих выражений. Обычно выражения Ф. я. представляют собой формальные комбинации исходных символов,… … Математическая энциклопедия
Формализованный язык — 1) в широком смысле – любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис Ф. я.) и приписывания этим выражениям определённого… … Большая советская энциклопедия
ЯЗЫК ЭКСПЛУАТАЦИОННЫХ ДОКУМЕНТОВ — (ЯзЭД) символьный формализованный язык, предназначенный для описания деятельности операторов и построения эксплуатационных функциональных схем. Разработан Ю. Г. Фокиным в 70 е гг. первоначально как язык описания эксплуатационных действий, а позже … Энциклопедический словарь по психологии и педагогике
язык — и. Исторически сложившаяся в обществе и развивающаяся звуковая (устная речь), а затем и графическая (письмо) знаковая система, способная выразить всю совокупность понятий и мыслей человека и предназначенная прежде всего для целей коммуникации… … Учебный словарь стилистических терминов
ЯЗЫК КУЛЬТУРЫ — совокупность культурных объектов, обладающая внутренней структурой (комплексом устойчивых отношений, инвариантных при любых преобразованиях), явными (формализованными) или неявными правилами образования, осмысления и употребления ее… … Энциклопедия культурологии
ЯЗЫК-ОБЪЕКТ — ЯЗЫК ОБЪЕКТ понятие современной логики, математики, философии и методологии науки, семиотики и теоретической лингвистики, обозначающее любой язык (естественный, искусственный, неформализованный, формализованный), элементы и структура которого … Философская энциклопедия
алгоритмический язык — формализованный язык для однозначной записи алгоритмов. Состоит из набора символов (алфавит), синтаксических правил и семантических определений. Является основой языков программирования. * * * АЛГОРИТМИЧЕСКИЙ ЯЗЫК АЛГОРИТМИЧЕСКИЙ ЯЗЫК,… … Энциклопедический словарь
